SMT-Based Analysis of Virtually Synchronous Distributed Hybrid Systems∗ Kyungmin Bae Peter Csaba Ölveczky

Source URL: scungao.github.io

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

Amortised Resource Analysis and Functional Correctness with Separation Logic (Part II) Summer School on Formal Reasoning and Representation of Complex Systems

Source URL: dream.inf.ed.ac.uk

• Abstract data types
• Queue
• Double-ended queue
• Dequeue
• Statistical theory
• Probability and statistics
• Economy

AnyChart™ Data Visualization Solutions IDS Chooses AnyChart for Its Reporting and Analysis Systems Independent Data Services

Source URL: www.anychart.com

• AnyChart
• Petroleum production
• Computing
• Wellsite information transfer standard markup language
• Visualization
• Data visualization
• Application software
• Communication design

Robustness Analysis of Networked Systems? Roopsha Samanta1 , Jyotirmoy V. Deshmukh2 , and Swarat Chaudhuri3 1 University of Texas at Austin 2

Source URL: www.cs.purdue.edu

• Mathematics
• Elementary mathematics
• Formal languages
• Theoretical computer science
• Finite automata
• Linguistics
• Dynamic programming
• String
• Levenshtein distance
• Finite-state transducer
• Term
• Sequence

1684 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: FUNDAMENTAL THEORY AND APPLICATIONS, VOL. 47, NO. 12, DECEMBER 2000 Performance Analysis of Correlation-Based Communication Schemes Utilizing Chaos

Source URL: biocircuits.ucsd.edu

Int. J. Inf. Secur:491–523 DOIs10207REGULAR CONTRIBUTION Analysis of privacy in mobile telephony systems

Source URL: link.springer.com

Analysis of Database Systems Implementing a database system for the advertisement engine Adengi LTH School of Engineering at Campus Helsingborg Department of Computer Science

Source URL: iea.lth.se

Modelling, Specification and Formal Analysis of Complex Software Systems - Precise Static Analysis of Programs with Dynamic Memory

Source URL: resources.mpi-inf.mpg.de

RTSS 2013, Vancouver Integrated Timing Analysis of Application and Operating Systems Code Lee Kee CHONG

Source URL: 2013.ieee-rtss.org